How many German cops does it take to arrest somebody?