Was tun gegen Bauchschmerzen nach Milch?