Was kostet eine Oberlidstraffung in Deutschland?