2018-11-16 - production
09:21	<moritzm>	removed labvirt1016 from debmonitor db, got renamed to cloudvirt1016	[production]