Ein neues Bachbett für den Allmannsweilerbach