KOCH-TIPPS _ 5